- verification condition generator
- генератор умов верифікації
English-Ukrainian dictionary of microelectronics. 2013.
verification condition generator
Смотреть что такое "verification condition generator" в других словарях:
Burglar alarm — Silent alarm redirects here. For the album, see Silent Alarm (album). Burglar (or intrusion), fire and safety alarms are all electronic today. Sensors are connected to a control unit via a low voltage hardwire or narrowband RF signal which is… … Wikipedia
Mathematics and Physical Sciences — ▪ 2003 Introduction Mathematics Mathematics in 2002 was marked by two discoveries in number theory. The first may have practical implications; the second satisfied a 150 year old curiosity. Computer scientist Manindra Agrawal of the… … Universalium
Exception handling — is a programming language construct or computer hardware mechanism designed to handle the occurrence of exceptions, special conditions that change the normal flow of program execution. Programming languages differ considerably in their support… … Wikipedia
Nuclear proliferation — World map with nuclear weapons development status represented by color. Five nuclear weapons states from the NPT … Wikipedia
japan — japanner, n. /jeuh pan /, n., adj., v., japanned, japanning. n. 1. any of various hard, durable, black varnishes, originally from Japan, for coating wood, metal, or other surfaces. 2. work varnished and figured in the Japanese manner. 3. Japans,… … Universalium
Japan — /jeuh pan /, n. 1. a constitutional monarchy on a chain of islands off the E coast of Asia: main islands, Hokkaido, Honshu, Kyushu, and Shikoku. 125,716,637; 141,529 sq. mi. (366,560 sq. km). Cap.: Tokyo. Japanese, Nihon, Nippon. 2. Sea of, the… … Universalium
Common Lisp — Paradigm(s) Multi paradigm: procedural, functional, object oriented, meta, reflective, generic Appeared in 1984, 1994 for ANSI Common Lisp Developer ANSI X3J13 committee Typing discipline … Wikipedia
SystemVerilog — In the semiconductor and electronic design industry, SystemVerilog is a combined Hardware Description Language and Hardware Verification Language based on extensions to Verilog. SystemVerilog was created by the donation of the Superlog language… … Wikipedia
Radiation therapy — Radiation (medicine) redirects here. It is not to be confused with Radiation (pain) or Radiology. Radiation therapy Intervention ICD 10 PCS D ICD 9 CM … Wikipedia
Three Mile Island accident — The Three Mile Island accident of 1979 was the most significant accident in the history of the American commercial nuclear power generating industry. It resulted in the release of a significant amount of radioactivity, an estimated 43,000 curies… … Wikipedia
Fire extinguisher — Extinguisher redirects here. Extinguisher may also refer to a candle snuffer. A stored pressure fire extinguisher … Wikipedia
